- do the following for type checkers:
 ceq L(int,int) = int if L == '_+_ or ...

- move all arithmetic/boolean operators in generic-syntax and k-prelude

- change Decl with VarDecl in SILF

- allow declarations of the form "var a,b, x[100], d" in SILF

- remove "call" from SILF and KOOL; allow functions to just be called;
that also means checking for returns differently in the types
versions, as well as adding a type "void"

- remove "function" from function declarations in the typed version of
the language; maybe even from the untyped?  See how it is in BC

- make return bind less tight than arithmetic/boolean operators, to allow
"return i + j" instead of "return (i + j)"

- allow "var i = 10, j = 17, a[3] = [1,2,3], c[3]" in SILF

- make write take a list of arguments: write(i,j,k)

- use Traian's version of polymorphic FUN

- change call_ to call_() and call_(_)

- allow ; after statements as well and eliminate it in the syntax

- experimente cu {} in SILF and SKOOL
